A Functional Calculus of First Order Based on Strict Implication
نویسنده
چکیده
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use.
منابع مشابه
Lewis meets Brouwer: constructive strict implication
C. I. Lewis invented modern modal logic as a theory of “strict implication” J. Over the classical propositional calculus one can as well work with the unary box connective, which became the modal primitive ever since. Over the intuitionistic propositional calculus, however, the strict implication has greater expressive power than 2 and allows to make distinctions invisible in the ordinary synta...
متن کاملA simple propositional calculus for compact Hausdor spaces
We introduce a simple propositional calculus for compact Hausdor spaces. Our approach is based on de Vries duality. The main new connective of our calculus is that of strict implication. We de ne the strict implication calculus SIC as our base calculus. We show that the corresponding variety SIA of strict implication algebras is a discriminator and locally nite variety. We prove that SIC is str...
متن کاملComplexity of Strict Implication
The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner’s Theorem remains valid when we restrict the language to the strict implication fragment, and that the same holds for Hemaspaandra’s Theorem. As a consequence we have that the validity problem for most standard normal modal logics is the same ...
متن کاملSLIDING MODE CONTROL BASED ON FRACTIONAL ORDER CALCULUS FOR DC-DC CONVERTERS
The aim of this paper is to design a Fractional Order Sliding Mode Controllers (FOSMC)for a class of DC-DC converters such as boost and buck converters. Firstly, the control lawis designed with respect to the properties of fractional calculus, the design yields an equiv-alent control term with an addition of discontinuous (attractive) control law. Secondly, themathematical proof of the stabilit...
متن کاملOn Strict Pseudoconvexity
The present paper provides first and second-order characterizations of a radially lower semicontinuous strictly pseudoconvex function f : X → R defined on a convex setX in the real Euclidean space Rn in terms of the lower Dini-directional derivative. In particular we obtain connections between the strictly pseudoconvex functions, nonlinear programming problem, Stampacchia variational inequality...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 11 شماره
صفحات -
تاریخ انتشار 1946